Nuprl Definition : stable 9,38
Stable{P} == (P)  P 
latex

DefinitionsP  Q, A
FDL editor aliasesstable

origin